Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
411	An Efficient Incremental Architecture for Robust Interpretation Carolyn P. Rose´ Antonio Roque Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:53 Compiler construction Compiling tools Parser generators Formal languages Parsing Chart parser LR parser Syntax Formal grammar Programming language implementation Computing Software engineering
412	ML-Yacc User’s Manual Version 2.4 David R. Tarditi1 Andrew W. Appel2 1 Add to Reading List Source URL: www.mlton.org Language: English - Date: 2014-02-17 13:56:37 Compiler construction Formal languages Parsing Compiling tools Parser generators LALR parser LR parser Lookahead Yacc Programming language implementation Software engineering Computing
413	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: dirichlet.mat.puc.cl Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
414	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: brieger.esalq.usp.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
415	Languages vs. ω-Languages in Regular Infinite Games Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas DLT 2011, Milano July 19, 2011 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:56:44 Theoretical computer science Omega language Theory of computation Determinacy Infinite loop Constructible universe Ordinal number Formal languages Computer programming Mathematics
416	UNIX Basics DAVID FAUST by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2001-11-27 10:14:15 Pattern matching Grep Formal languages Scripting languages Find Nl Words Filter Strings Computing Software Unix
417	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
418	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.biodisk.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
419	Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2011-04-14 03:17:50 Formal languages Model theory First-order logic Predicate logic Golden ratio Well-formed formula Binary tree Function Linear temporal logic Logic Mathematics Mathematical logic
420	Competitive Edge Dynamics Ltd. Printed in China THE CED M2 Add to Reading List Source URL: shootingsoftware.com Language: English - Date: 2010-07-20 15:41:49 Measurement Chronograph String Formal languages Computing Technology Calculator C string handling Horology Clocks Watches

UPDATE